Tip belirleme bir programlama dilindeki veri tiplerinin otomatik olarak algılanmasına verilen addır. Statik tipli dillerin büyük bölümünde yer alan bu özellik işlevsel programlamada da kendini göstermektedir. C++11, C#, Go, Haskell ve Scala tip belirleme özelliğine sahip dillere örnek gösterilebilir.
J. Roger Hindley ve Robin Milner tarafından geliştirilmiş olan tip belirleme sistemi bu konuda öne çıkan algoritmalar arasındadır.
Orijinal kaynak: tip belirleme. Creative Commons Atıf-BenzerPaylaşım Lisansı ile paylaşılmıştır.
Ne Demek sitesindeki bilgiler kullanıcılar vasıtasıyla veya otomatik oluşturulmuştur. Buradaki bilgilerin doğru olduğu garanti edilmez. Düzeltilmesi gereken bilgi olduğunu düşünüyorsanız bizimle iletişime geçiniz. Her türlü görüş, destek ve önerileriniz için iletisim@nedemek.page